Projection-forcing multisets of weight changes

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Projection-forcing multisets of weight changes

Let F be a finite field. A multiset S of integers is projectionforcing if for every linear function φ : F → F whose multiset of weight changes is S, φ is a coordinate projection up to permutation of entries. The MacWilliams Extension Theorem from coding theory says that S = {0, 0, . . . , 0} is projection-forcing. We give a (super-polynomial) algorithm to determine whether or not a given S is p...

متن کامل

Forcing Monotonicity in Parameterized Verification: From Multisets to Words

We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of the system regardless of the number of processes inside the system. First, we consider a class of parameterized systems whose behaviours can be captured exactly as Petri nets using counter abstraction. This allows an...

متن کامل

Formalization of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals

This Isabelle/HOL formalization introduces a nested multiset datatype and de nes Dershowitz and Manna's nested multiset order. The order is proved well founded and linear. By removing one constructor, we transform the nested multisets into hereditary multisets. These are isomorphic to the syntactic ordinals the ordinals can be recursively expressed in Cantor normal form. Addition, subtraction, ...

متن کامل

Parental weight changes as key predictors of child weight changes

BACKGROUND Parents are the key agents of behavioural changes in their children. This fact is as an important aspect of obesity treatment and prevention. The present study aims to evaluate the influence of parents who have gained or lost weight on their children's weights and to examine parental and child patterns of weight changes from a baseline over a 14-year duration. METHODS We performed ...

متن کامل

Multisets and Fuzzy Multisets as a Framework of Information Systems

Multisets are now a common tool and a fundamental framework in information processing. Their generalization to fuzzy multisets has also been studied. In this paper the basics of multisets and fuzzy multisets are reviewed, fundamental properties of fuzzy multisets are proved, and advanced operations are defined. Applications to rough sets, fuzzy data retrieval, and automatic classification are m...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Combinatorial Theory, Series A

سال: 2010

ISSN: 0097-3165

DOI: 10.1016/j.jcta.2010.01.005